You can evaluate B formulas within the B console. It is possible to access variables and constants in the loaded machine. Furthermore, one can also use usual shortcuts for consoles.
